Quantifier elimination for algebraic D-groups
نویسندگان
چکیده
We prove that if G is an algebraic D-group (in the sense of Buium [B]) over a differentially closed field (K, ∂) of characteristic 0, then the first order structure consisting of G together with the algebraic D-subvarieties of G,G × G, . . ., has quantifier-elimination. In other words, the projection on Gn of a D-constructible subset of Gn+1 is Dconstructible. Among the consequences is that any finite-dimensional differential algebraic group is interpretable in an algebraically closed field.
منابع مشابه
Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey-quantifiers
This paper is to contributive to the model theory of ordered abelian groups (o.a.g. for short). The basic elements to build up the algebraic structure of the o.a.g-s are the archimedean groups: By Hahn's embedding theorem every o.a.g. can be represented as a subgroup of the Hahn-product of archimedean o.a.g.s. Archimedean is not a first-order concept but there exists a first-order model theory ...
متن کاملEmbedding Differential Algebraic Groups in Algebraic Groups
Quantifier Elimination We work in K a large rich differentially closed field. All other differential fields are assumed to be small subfields of K. Let L = {+,−, ·, δ, 0, 1} be the language of differential rings. We let L− = {+,−, ·, 0, 1}, the language of rings. If k is a differential field, we can view k either as an L-structure or an L−-structure. Theorem 1.1 (Quantifier Elimination) For any...
متن کاملReal Quantifier Elimination in the RegularChains Library
Quantifier elimination (QE) over real closed fields has found numerous applications. Cylindrical algebraic decomposition (CAD) is one of the main tools for handling quantifier elimination of nonlinear input formulas. Despite of its worst case doubly exponential complexity, CAD-based quantifier elimination remains interesting for handling general quantified formulas and producing simple quantifi...
متن کاملArithmetic and Geometric Applications of Quantifier Elimination for Valued Fields
We survey applications of quantifier elimination to number theory and algebraic geometry, focusing on results of the last 15 years. We start with the applications of p-adic quantifier elimination to p-adic integration and the rationality of several Poincar series related to congruences f(x) = 0 modulo a prime power, where f is a polynomial in several variables. We emphasize the importance of p-...
متن کاملQuantifier elimination for the theory of algebraically closed valued fields with analytic structure
The theory of algebraically closed non-Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper and which has far reaching consequences in the geometry of definable sets. This method of proving quantifier ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003